| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910455552203321 |
|
|
Titolo |
Modality in English [[electronic resource] ] : theory and description / / edited by Raphael Salkie, Pierre Busuttil, Johan van der Auwera |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Mouton de Gruyter, c2009 |
|
|
|
|
|
|
|
ISBN |
|
1-282-29651-5 |
9786612296512 |
3-11-021333-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (390 p.) |
|
|
|
|
|
|
Collana |
|
Topics in English linguistics, , 1434-3452 ; ; 58 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
SalkieRaphael |
BusuttilPierre |
AuweraJohan van der |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
English language - Modality |
Modality (Linguistics) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Contents -- Introduction -- Towards a typology of modality in language -- 'Not-yet-factual at time t': a neglected modal concept -- Semantic ascent, deixis, intersubjectivity and modality -- Degrees of modality -- Another look at modals and subjectivity -- For a topological representation of the modal system of English -- Epistemic might in the interrogative -- MAY in concessive contexts -- When may means must: deontic modality in English statute construction -- Legal English and the 'modal revolution' -- Posteriority in expressions with must and have to: a case of interplay between syntax, semantics and pragmatics -- Using the adjectives surprised/surprising to express epistemic modality -- Commitment and subjectivity in the discourse of a judicial inquiry -- Hearsay adverbs and modality -- When Yes means No, and other hidden modalities -- Modality and the history of English adhortatives -- On the "great modal shift" sustained by come to VP -- Backmatter |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume presents two kinds of studies on English modality. On the one hand, there are strongly empirical, corpus-based studies of |
|
|
|
|
|
|
|
|
|
|
|
|
|
individual uses of English modal auxiliaries and modal constructions, such as may in interrogatives, might in concessive clauses, shall and may vs must in legal English, the use of surprised if and surprising if constructions, the use and history of adhortative constructions, or the modal-aspectual use of come to in I came to realize that X. The book also contains work that presents new views on some of the classical issues, like the relations between modality and time, modality and commitment, modals and (inter)subjectivity. A special place is given to work that approaches the English modals from the perspective of the 'Theory of Enunciative Operations' developed by the French linguist Antoine Culioli and his colleagues. Thus the book provides new perspectives and answers on basic questions about modality, in general, and its expression in English, in particular. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910793382203321 |
|
|
Titolo |
The quality of accounting information / / guest editors, Weimin Wang and Ling Zhou |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified] : , : Emerald Publishing Limited, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (133 pages) |
|
|
|
|
|
|
Collana |
|
International Journal of Accounting & Information Management |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Accounting - Computer programs |
Accounting - Data processing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483377003321 |
|
|
Titolo |
Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers / / edited by Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 230 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3474 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Computer programming |
Computer science |
Compilers and Interpreters |
Programming Techniques |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based Trace Exploration -- Shrinking Reductions in SML.NET -- Dynamic Construction of Generic Functions -- Reasoning About Deterministic Concurrent Functional I/O -- General Homomorphic Overloading -- Simple, Effective Code-Size Reduction for Functional Programs. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of |
|
|
|
|
|
|
|
|
|
|
Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support. Previous IFL workshops were held in the United Kingdom (Southampton, Norwich, London, St Andrews, and Edinburgh), in the Netherlands (Nijmegen and Lochem), in Germany (Aachen and Bonn), in Sweden (B? astad and Sto- holm), and in Spain (Madrid). In 2005, the 17th International Workshop on - plementation and Application of Functional Languages will be held in Dublin, Ireland. |
|
|
|
|
|
| |